package procilege.impl.eval;

import procilege.compute.ExprEvaluationTraveller;
import procilege.compute.PlaceTypeMetadata;
import procilege.compute.PlaceType;
import procilege.lang.PredicateEntity;

@PlaceTypeMetadata(type=PredicateEntity.class)
public class PredicateEntityEvalPlace implements PlaceType<ExprEvaluationTraveller> {
	
	public void visit(ExprEvaluationTraveller tr, Object place) {
		
		PredicateEntity expr = (PredicateEntity)place;
		tr.result(expr.getName());
	}
}
